Torelli Groups, Extended Johnson Homomorphisms, and New Cycles on the Moduli Space of Curves
نویسنده
چکیده
Infinite presentations are given for all of the higher Torelli groups of once-punctured surfaces. In the case of the classical Torelli group, a finite presentation of the corresponding groupoid is also given. Furthermore, the first Johnson homomorphism, which is defined from the classical Torelli group to the third exterior power of the homology of the surface, is shown to lift to an explicit canonical 1-cocycle of the Teichmüller space. The main tool for these results is the known mapping class group invariant ideal cell decomposition of the Teichmüller space. This new 1-cocycle is mapping class group equivariant, so various contractions of its powers yield various combinatorial (co)cycles of the moduli space of curves, which are also new. Our combinatorial construction can be related to former works of Kawazumi and the first-named author with the consequence that the algebra generated by the cohomology classes represented by the new cocycles is precisely the tautological algebra of the moduli space. There is finally a discussion of prospects for similarly finding cocycle lifts of the higher Johnson homomorphisms.
منابع مشابه
Finiteness and Torelli Spaces
Torelli space Tg (g ≥ 2) is the quotient of Teichmüller space by the Torelli group Tg. It is the moduli space of compact, smooth genus g curves C together with a symplectic basis of H1(C;Z) and is a model of the classifying space of Tg. Mess, in his thesis [12], proved that T2 has the homotopy type of a bouquet of a countable number of circles. Johnson and Millson (cf. [12]) pointed out that a ...
متن کاملFundamental groups of moduli stacks of stable curves of compact type
Let M̃g,n, for 2g−2+n > 0, be the moduli stack of n-pointed, genus g, stable complex curves of compact type. Various characterizations and properties are obtained of both the algebraic and topological fundamental groups of the stack M̃g,n. Let Γg,n, for 2g − 2+ n > 0, be the Teichmüller group associated with a compact Riemann surface of genus g with n points removed Sg,n, i.e. the group of homoto...
متن کاملTORELLI THEOREM FOR MODULI SPACES OF SL(r,C)–CONNECTIONS ON A COMPACT RIEMANN SURFACE
Let X be any compact connected Riemann surface of genus g, with g ≥ 3. For any r ≥ 2, let MX denote the moduli space of holomorphic SL(r, C)–connections over X . It is known that the biholomorphism class of the complex variety MX is independent of the complex structure of X . If g = 3, then we assume that r ≥ 3. We prove that the isomorphism class of the variety MX determines the Riemann surfac...
متن کاملExtended Torelli Map to the Igusa Blowup in Genus 6, 7, and 8
It was conjectured in [Nam73] that the Torelli map Mg → Ag associating to a curve its jacobian extends to a regular map from the DeligneMumford moduli space of stable curves Mg to the (normalization of the) Igusa blowup A cent g . A counterexample in genus g = 9 was found in [AB11]. Here, we prove that the extended map is regular for all g ≤ 8, thus completely solving the problem in every genus.
متن کاملModuli of complex curves and noncommutative geometry: Riemann surfaces and dimension groups
This paper is a brief account of the moduli of complex curves from the perspective of noncommutative geometry. Using a uniformization of Riemann surfaces by the ordered abelian groups, we prove that modulo the Torelli group, the mapping class group of surface of genus g with n holes, is linear arithmetic group of rank 6g − 6 + 2n.
متن کامل